Controlling State-Space Explosion in Chunk Learning
نویسندگان
چکیده
Varying combinations of perceptual cues may be relevant for learning and action-selection. However, storing all possible cue combinations in memory is computationally implausible in sufficiently complex environments due to a state-space explosion. Some psychological models suggest that cue combinations, i.e. chunks, should be generated at a conservative rate (EPAM/CHREST; e.g. Feigenbaum & Simon, 1984). Other models suggest that chunk retrieval is based on statistical regularities in the environment (i.e. recency and frequency; Anderson & Schooler, 1991). We present a computational model of chunk generation based on these two principles, and demonstrate how combining these principles alleviates state-space explosion, producing great savings in memory while maintaining a high level of performance.
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملReduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملSystematic and Scalable Testing of Concurrent Programs
The challenge this thesis addresses is to speed up the development of concurrent programs by increasing the efficiency with which concurrent programs can be tested and consequently evolved. The goal of this thesis is to generate methods and tools that help software engineers increase confidence in the correct operation of their programs. To achieve this goal, this thesis advocates testing of co...
متن کاملارائه مدل نیمه تجربی مقدار ماده منفجره بحرانی و حد شکلپذیری برای سازهی استوانهای متصل به مخروط ناقص به روش مقیاس بندی
In this study, the impulses of explosion within an aluminum truncated cone cylinder shells, effective parameters in explosion of these structures and structure effect on blast wave have been investigated. The goals of this study have listed as follows: a) determining critical value of explosives or necessary dynamic pressure for structure failure, b) formability limit during dynamical deforma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014